#include "Printf.h"

void Printf(int x)
{
    printf("%d\n",x);
}